Capturing equilibrium models in modal logic

Capturing equilibrium models in modal logic

Here-and-there models and equilibrium models were investigated as a semantical framework for answer-set programming by Pearce, Valverde, Cabalar, Lifschitz, Ferraris and others. The semantics of equilibrium logic is given in an indirect way: the notion of an equilibrium model is defined in terms of quantification over hereand-there models. We here give a direct semantics of equilibrium logic, s...

The Modal Logic of Equilibrium Models

Here-and-there models and equilibrium models were investigated as a semantical framework for answer set programming by Pearce, Cabalar, Lifschitz, Ferraris and others. The semantics of equilibrium logic is indirect in that the notion of satisfiability is defined in terms of satisfiability in the logic of here-andthere. We here give a direct semantics of equilibrium logic, stated in terms of a m...

Modal Fixed-Point Logic and Changing Models

Factored Models for Probabilistic Modal Logic

Modal logic represents knowledge that agents have about other agents’ knowledge. Probabilistic modal logic further captures probabilistic beliefs about probabilistic beliefs. Models in those logics are useful for understanding and decision making in conversations, bargaining situations, and competitions. Unfortunately, probabilistic modal structures are impractical for large real-world applicat...

The Modal Logic of Inner Models

§